Robert B. Findler: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A programmable programming language

Felleisen, Matthias, Findler, Robert Bruce, Flatt, Matthew, Krishnamurthi, Shriram, Barzilay, Eli, McCarthy, Jay, Tobin-Hochstadt, Sam

Journal:

Communications of the ACM

Year:

2018

Language:

english

File:

PDF, 2.78 MB

english, 2018

2

Operational semantics for multi-language programs

Matthews, Jacob, Findler, Robert Bruce

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2009

Language:

english

File:

PDF, 923 KB

english, 2009

3

Operational semantics for multi-language programs

Matthews, Jacob, Findler, Robert Bruce

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 570 KB

english, 2007

4

How to evaluate the performance of gradual type systems

GREENMAN, BEN, TAKIKAWA, ASUMU, NEW, MAX S., FELTEY, DANIEL, FINDLER, ROBERT BRUCE, VITEK, JAN, FELLEISEN, MATTHIAS

Journal:

Journal of Functional Programming

Year:

2019

Language:

english

File:

PDF, 3.43 MB

english, 2019

5

The structure and interpretation of the computer science curriculum

FELLEISEN, MATTHIAS, FINDLER, ROBERT BRUCE, FLATT, MATTHEW, KRISHNAMURTHI, SHRIRAM

Journal:

Journal of Functional Programming

Year:

2004

Language:

english

File:

PDF, 107 KB

english, 2004

6

[ACM Press the 2007 symposium - Montreal, Quebec, Canada (2007.10.22-2007.10.22)] Proceedings of the 2007 symposium on Dynamic languages - DLS '07 - Relationally-parametric polymorphic contracts

Guha, Arjun, Matthews, Jacob, Findler, Robert Bruce, Krishnamurthi, Shriram

Year:

2007

Language:

english

File:

PDF, 418 KB

english, 2007

7

Correct blame for contracts

Dimoulas, Christos, Findler, Robert Bruce, Flanagan, Cormac, Felleisen, Matthias

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 587 KB

english, 2011

8

POP-PL

Florence, Spencer P., Findler, Robert Bruce, Belknap, Steven M., Fetscher, Burke, Flatt, Matthew, Temps, William H., St-Amour, Vincent, Kiguradze, Tina, West, Dennis P., Niznik, Charlotte, Yarnold, Pa

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2018

Language:

english

File:

PDF, 8.62 MB

english, 2018

9

Fair enumeration combinators

NEW, MAX S., FETSCHER, BURKE, FINDLER, ROBERT BRUCE, MCCARTHY, JAY

Journal:

Journal of Functional Programming

Year:

2017

Language:

english

File:

PDF, 7.85 MB

english, 2017

10

Selectors Make Set-Based Analysis Too Hard

Philippe Meunier, Robert Bruce Findler, Paul Steckler, Mitchell Wand

Journal:

Higher-Order and Symbolic Computation

Year:

2005

Language:

english

File:

PDF, 1.61 MB

english, 2005

11

A heuristic approach to optimum experimental design

Nicholas V. Findler, Robert F. Cromp

Journal:

Computational Statistics & Data Analysis

Year:

1984

Language:

english

File:

PDF, 1.20 MB

english, 1984

12

Back to the futures

Swaine, James, Tew, Kevin, Dinda, Peter, Findler, Robert Bruce, Flatt, Matthew

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 14.63 MB

english, 2010

13

[ACM Press the 7th symposium - Portland, Oregon, USA (2011.10.24-2011.10.24)] Proceedings of the 7th symposium on Dynamic languages - DLS '11 - Places

Tew, Kevin, Swaine, James, Flatt, Matthew, Findler, Robert Bruce, pdinda@northwestern.edu, Peter Dinda

Year:

2011

Language:

english

File:

PDF, 1.24 MB

english, 2011

14

[ACM Press the ACM SIGPLAN 2004 conference - Washington DC, USA (2004.06.09-2004.06.11)] Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation - PLDI '04 - Kill-safe synchronization abstractions

Flatt, Matthew, Findler, Robert Bruce

Year:

2004

Language:

english

File:

PDF, 135 KB

english, 2004

15

Chaperones and impersonators

Strickland, T. Stephen, Tobin-Hochstadt, Sam, Findler, Robert Bruce, Flatt, Matthew

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 793 KB

english, 2012

16

An artificial intelligence technique to generate self-optimizing experimental designs

Findler, Nicholas V., Cromp, Robert F.

Journal:

ACM SIGACT News

Year:

1983

Language:

english

File:

PDF, 71 KB

english, 1983

17

[ACM Press the ACM international conference - Tucson, Arizona, USA (2012.10.19-2012.10.26)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12 - Chaperones and impersonators

Strickland, T. Stephen, Tobin-Hochstadt, Sam, Findler, Robert Bruce, Flatt, Matthew

Year:

2012

Language:

english

File:

PDF, 793 KB

english, 2012

18

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - A functional I/O system or, fun for freshman kids

Felleisen, Matthias, Findler, Robert Bruce, Flatt, Matthew, Krishnamurthi, Shriram

Year:

2009

Language:

english

File:

PDF, 397 KB

english, 2009

19

[ACM Press the third ACM SIGPLAN international conference - Baltimore, Maryland, United States (1998.09.26-1998.09.29)] Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 - Modular object-oriented programming with units and mixins

Findler, Robert Bruce, Flatt, Matthew

Year:

1998

Language:

english

File:

PDF, 1.25 MB

english, 1998

20

[ACM Press the ACM international conference - Reno/Tahoe, Nevada, USA (2010.10.17-2010.10.21)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 - Back to the futures

Swaine, James, Tew, Kevin, Dinda, Peter, Findler, Robert Bruce, Flatt, Matthew

Year:

2010

Language:

english

File:

PDF, 14.63 MB

english, 2010

21

[ACM Press the fourth ACM SIGPLAN international conference - Paris, France (1999.09.27-1999.09.29)] Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99 - Programming languages as operating systems ( or revenge of the son of the lisp machine)

Flatt, Matthew, Findler, Robert Bruce, Krishnamurthi, Shriram, Felleisen, Matthias

Year:

1999

Language:

english

File:

PDF, 1.24 MB

english, 1999

22

Contract Soundness for object-oriented languages

Findler, Robert Bruce, Felleisen, Matthias

Journal:

ACM SIGPLAN Notices

Year:

2001

Language:

english

File:

PDF, 185 KB

english, 2001

23

[ACM Press Proceeding of the 44th ACM technical symposium - Denver, Colorado, USA (2013.03.06-2013.03.09)] Proceeding of the 44th ACM technical symposium on Computer science education - SIGCSE '13 - Teaching garbage collection without implementing compiler or interpreters

Cooper, Gregory H., Guha, Arjun, Krishnamurthi, Shriram, McCarthy, Jay, Findler, Robert Bruce

Year:

2013

Language:

english

File:

PDF, 822 KB

english, 2013

24

[ACM Press the 16th ACM SIGPLAN conference - Tampa Bay, FL, USA (2001.10.14-2001.10.18)] Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications - OOPSLA '01 - Contract Soundness for object-oriented languages

Findler, Robert Bruce, Felleisen, Matthias

Year:

2001

Language:

english

File:

PDF, 185 KB

english, 2001

25

DrScheme: a programming environment for Scheme

FINDLER, ROBERT BRUCE, CLEMENTS, JOHN, FLANAGAN, CORMAC, FLATT, MATTHEW, KRISHNAMURTHI, SHRIRAM, STECKLER, PAUL, FELLEISEN, MATTHIAS

Journal:

Journal of Functional Programming

Year:

2002

Language:

english

File:

PDF, 317 KB

english, 2002

26

Places

Tew, Kevin, Swaine, James, Flatt, Matthew, Findler, Robert Bruce, pdinda@northwestern.edu, Peter Dinda

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 1.24 MB

english, 2012

27

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - Scribble

Flatt, Matthew, Barzilay, Eli, Findler, Robert Bruce

Year:

2009

Language:

english

File:

PDF, 632 KB

english, 2009

28

[ACM Press the 19th ACM SIGPLAN international conference - Gothenburg, Sweden (2014.09.01-2014.09.06)] Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14 - Behavioral software contracts

Findler, Robert Bruce

Year:

2014

Language:

english

File:

PDF, 443 KB

english, 2014

29

[ACM Press the 2007 ACM SIGPLAN international conference - Freiburg, Germany (2007.10.01-2007.10.03)] Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 - Adding delimited and composable control to a production programming environment

Flatt, Matthew, Yu, Gang, Findler, Robert Bruce, Felleisen, Matthias

Year:

2007

Language:

english

File:

PDF, 266 KB

english, 2007

30

A functional I/O system or, fun for freshman kids

Felleisen, Matthias, Findler, Robert Bruce, Flatt, Matthew, Krishnamurthi, Shriram

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 397 KB

english, 2009

31

Scribble

Flatt, Matthew, Barzilay, Eli, Findler, Robert Bruce

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 632 KB

english, 2009

32

[ACM Press the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium - Vienna, Austria (2001.09.10-2001.09.14)] Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-9 - Behavioral contracts and behavioral subtyping

Findler, Robert Bruce, Latendresse, Mario, Felleisen, Matthias

Year:

2001

Language:

english

File:

PDF, 93 KB

english, 2001

33

Behavioral contracts and behavioral subtyping

Findler, Robert Bruce, Latendresse, Mario, Felleisen, Matthias

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2001

Language:

english

File:

PDF, 93 KB

english, 2001

34

[ACM Press the ACM international conference - Reno/Tahoe, Nevada, USA (2010.10.17-2010.10.21)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 - Random testing for higher-order, stateful programs

Klein, Casey, Flatt, Matthew, Findler, Robert Bruce

Year:

2010

Language:

english

File:

PDF, 397 KB

english, 2010

35

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Blame for all

Ahmed, Amal, Findler, Robert Bruce, Siek, Jeremy G., Wadler, Philip

Year:

2011

Language:

english

File:

PDF, 593 KB

english, 2011

36

A Coq library for internal verification of running-times

McCarthy, Jay, Fetscher, Burke, New, Max S., Feltey, Daniel, Findler, Robert Bruce

Journal:

Science of Computer Programming

Year:

2017

Language:

english

File:

PDF, 532 KB

english, 2017

37

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Correct blame for contracts

Dimoulas, Christos, Findler, Robert Bruce, Flanagan, Cormac, Felleisen, Matthias

Year:

2011

Language:

english

File:

PDF, 587 KB

english, 2011

38

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Run your research

Klein, Casey, Findler, Robert Bruce, Clements, John, Dimoulas, Christos, Eastlund, Carl, Felleisen, Matthias, Flatt, Matthew, McCarthy, Jay A., Rafkind, Jon, Tobin-Hochstadt, Sam

Year:

2012

Language:

english

File:

PDF, 754 KB

english, 2012

39

1393 Regional Study for Predictive Factors of Breastfeeding Preterm Infants Less Than 33 Weeks

Lucas, C., Gonny, H., Tripon, C., Husseini, K., Lapeyre, D., Hay-Findler, F., Robert, S.

Journal:

Archives of Disease in Childhood

Year:

2012

Language:

english

File:

PDF, 592 KB

english, 2012

40

Special Issue Dedicated to ICFP 2012: Editorial

SINGH, SATNAM, FINDLER, ROBERT BRUCE

Journal:

Journal of Functional Programming

Year:

2014

Language:

english

File:

PDF, 179 KB

english, 2014

41

Run your research

Klein, Casey, Findler, Robert Bruce, Clements, John, Dimoulas, Christos, Eastlund, Carl, Felleisen, Matthias, Flatt, Matthew, McCarthy, Jay A., Rafkind, Jon, Tobin-Hochstadt, Sam

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 754 KB

english, 2012

42

A general-purpose man-machine environment with special reference to air traffic control

Nicholas V. Findler, Timothy W. Bickmore, Robert F. Cromp

Journal:

International Journal of Man-Machine Studies

Year:

1985

Language:

english

File:

PDF, 2.20 MB

english, 1985

43

Macros that Work Together

FLATT, MATTHEW, CULPEPPER, RYAN, DARAIS, DAVID, FINDLER, ROBERT BRUCE

Journal:

Journal of Functional Programming

Year:

2012

Language:

english

File:

PDF, 8.37 MB

english, 2012

44

[ACM Press the 20th annual ACM SIGPLAN conference - San Diego, CA, USA (2005.10.16-2005.10.20)] Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '05 - Fine-grained interoperability through mirrors and contracts

Gray, Kathryn E., Findler, Robert Bruce, Flatt, Matthew

Year:

2005

Language:

english

File:

PDF, 382 KB

english, 2005

45

The Racket virtual machine and randomized testing

Klein, Casey, Flatt, Matthew, Findler, Robert Bruce

Journal:

Higher-Order and Symbolic Computation

Year:

2012

Language:

english

File:

PDF, 4.28 MB

english, 2012

46

Fine-grained interoperability through mirrors and contracts

Gray, Kathryn E., Findler, Robert Bruce, Flatt, Matthew

Journal:

ACM SIGPLAN Notices

Year:

2005

Language:

english

File:

PDF, 382 KB

english, 2005

47

Random testing for higher-order, stateful programs

Klein, Casey, Flatt, Matthew, Findler, Robert Bruce

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 397 KB

english, 2010

48

Herbarium Racketensis: a stroll through the woods (functional pearl)

St-Amour, Vincent, Feltey, Daniel, Florence, Spencer P., You, Shu-Hung, Findler, Robert Bruce

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 1.94 MB

english, 2017

49

An operational semantics for Scheme

MATTHEWS, JACOB, FINDLER, ROBERT BRUCE

Journal:

Journal of Functional Programming

Year:

2008

Language:

english

File:

PDF, 1.45 MB

english, 2008

50

Slideshow: functional presentations

FINDLER, ROBERT BRUCE, FLATT, MATTHEW

Journal:

Journal of Functional Programming

Year:

2006

Language:

english

File:

PDF, 643 KB

english, 2006

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски